面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用，为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题，提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS，首先获取软件缺陷预测模型数据，对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究，实现知识图谱推荐优质软件缺陷预测模型作为自动化搜索的热启动输入条件，根据不同的软件缺陷预测评价指标，优化不同最佳的模型结构.其次实证研究采用NASA开源数据集实验对象和六种性能评价指标，实验结果表明， AutoKGGAS自动化软件缺陷预测模型在不同数据集不同评价指标方面，性能优于知识图谱推荐的传统经典软件缺陷预测模型.自动化软件缺陷预测模型为航天软件缺陷预测辅助代码审查测试提供了原型，在工程实践应用方面具有重要的意义.     

双流制窄轨电力机车用异步牵引电机设计

将牵引电机应用于双流制窄轨电力机车时,由于窄轨机车轨距小,所以牵引电机安装空间异常狭小,比一般牵引电机在安装空间、电机结构、电磁负荷等方面的要求更加苛刻。针对窄轨双流制电力机车的运用特点和特殊要求进行了分析,提出了牵引电机的设计要求和关键技术难点,并对关键技术难点给出了相应的分析和解决措施。对该牵引电机的制造过程及电机试验测试情况进行了论述。试验结果表明,该牵引电机达到了设计预期,完全能满足设计要求。     

基于随机维纳过程的航空发动机性能衰退研究

针对发动机下发间隔预测的问题，研究了发动机性能衰退规律。基于发动机排气温度裕度（EGTM）数据，建立了随机维纳模型，并使用严酷度因子修正模型，表征不同的工作条件对发动机的影响。利用期望最大化（EM）算法结合贝叶斯定理，对模型参数求解，最终得到了基于性能衰退的发动机平均下发间隔。研究结果表明，在严酷度因子为1.2696的使用条件下，某型号航空发动机性能衰退平均下发间隔为8219循环；基于该模型预测的发动机平均下发间隔与厂商建议的下发时间之间的误差仅为1.7%。     

多机并联火箭羽流流场及其底部热环境分析

For the problem that the plume flow field structure of a multi engine parallel rocket is complicated and the bottom thermal environment is extremely harsh, which may cause the failure of the engine structural components, the plume flow field and thermal environment at different altitudes are studied through numerical simulation. The result is compared with the measured results in flight which shows that when the rocket is flying at a low altitude, the plume of the engines do not interfere with each other. As the flight altitude increases, the plumes gradually expand and begin to interfere with each other, and finally there is an obvious backflow at the bottom of the rocket. The maximum heat flux at the moment of take off is basically the same as the measured value in flight. Before the backflow occurs, the heat flux mainly consists of radiant heat, the convective heat flow increases as the flight altitude grows, but it is also much smaller than the peak heat flow at takeoff. The result has certain guiding significance for the optimal design of engine structure thermal protection.     

A general calculation method to specify center-of-buoyancy for the stratospheric airship with multiple gas cells

As the lighter-than-air (LTA) flight vehicle, the stratospheric airship is a desirable platform to provide communication and surveillance services. During the ascent from sea-level to the mission altitude, the volume of the lifting gas may change significantly, which will result in the change of the center-of-buoyancy (CB). A general calculation method is developed to specify CB for the stratospheric airship with a double-ellipsoid hull and an arbitrary number of the gas cells. The cross-section-integral (CSI) method is used as a basic calculation scenario to specify CB. Considering the complexity in determining the boundary between the helium and air in the gas cell, a searching algorithm is put forward and the specification of CB can be conducted by the iterative calculation. As an important application, the stable condition of the pitch angle is analyzed when the change of CB is involved. Under different initial configurations, the stable pitch angle of the stratospheric airship during the ascent is specified and compared, which shows the advantages of the multi-gas-cell configuration. The results of this paper may provide an important reference for the engineering application of the stratospheric airship.     

自适应航天器态势分析系统

利用深度学习中的卷积神经网络理论,基于单目视觉系统和带有标识物的航天器影像,实现对航天器的三维姿态角、距拍摄点距离和相对拍摄中心偏移量的精准测量。利用机器学习理论实现网络自主学习样本特征,这一方式将大幅降低动态测量的误差。同时,这种测量方式也避免了人工提取特征的复杂过程,实现任意、精准、快速测量,对航天器在组装及发射过程中的姿态估计、距离测算起到关键性作用。     

高空飞行环境中液体运载火箭底部热环境研究

采用数值模拟和飞行测试验证相结合的方法对液体运载火箭高空对流/辐射耦合换热问题开展系统深入研究。基于燃气多组分输运Navier-Stokes方程、热辐射方程、Realizable k-ε两方程湍流模型，建立了高空含自由流的运载火箭燃气喷流流动模型。辐射模型采用离散坐标法(DOM)，空间离散采用二阶迎风TVD格式，对多个典型飞行高度火箭底部热流进行大型并行计算，将数值结果与试验数据进行广泛对比，验证了计算模型的精度和有效性。数值研究表明，火箭底部辐射热流在刚起飞阶段达到最大值，随着飞行高度上升，辐射热流逐渐降低，火箭底部对流热流表现为先升高后降低的趋势，并在20 km高空达到峰值。本文的预测分析方法对液体运载火箭底部热防护设计具有重要的理论意义和工程应用价值。     

高速SpaceWire协议IP的可靠性增强方法

针对航天高速SpaceWire总线系统对协议IP的高可靠性要求，提出一种用于静态随机访问存储器(SRAM)型现场可编辑逻辑门阵列(FPGA)的增强三模冗余(TMR)方法。该方法对传统三模冗余和部分三模冗余做了改进，将需要进行三模冗余的原设计分为一般单元集和可靠性薄弱的关键单元集，对一般单元集中的每个单元做三模冗余，对关键单元集中的每个单元做顺序四模冗余。给出了顺序四模冗余的可靠度计算式和表决器的布尔表达式。建立了系统可靠性的马尔科夫模型并基于模型开展了可靠性仿真。仿真结果表明增强三模冗余系统的可靠性不仅明显优于传统三模冗余系统，而且优于部分三模冗余系统，使系统可靠性得到有效提高。